An overview of the ciao system

Ciao is a logic-based, multi-paradigm programming system. One of its most distinguishing features is that it supports a large number of semantic and syntactic language features which can be selectively activated or deactivated for each program module. As a result, a module can be written in, for example, ISO-Prolog plus constraints and higher order, while another can be a puré logic module with a different control rule such as iterative deepening and/or tabling, and perhaps using constructive negation. A powerful and modular extensión mechanism allows user-level design and implementation of such features and sub-languages. Another distinguishing feature of Ciao is its powerful assertion language, which allows expressing many kinds of program properties (ranging from, e.g., moded types to resource consumption), as well as tests and documentation. The compiler is capable of statically ñnding violations of these properties or verifying that programs comply with them, and issuing certiñcates of this compliance. The compiler also performs many types of optimizations, including automatic parallelization. It offers very competitive performance, while retaining the flexibility and interactive development of a dynamic language. We will present a hands-on overview of the system, through small examples which emphasize the novel aspects and the motivations which lie behind Ciao's design and implementation.

Why Ciao? An overview of the ciao system's design philosophy

Our intention in this note is not to provide a listing of the many features of the Ciao system: this can be found in part for example in the brochures announcing upcoming versions, in the Ciao website, or in more feature-oriented descriptions such as. Instead in this document we would like to describe the objectives and reasoning followed in our design as well as the fundamental characteristics that in our opinion make Ciao quite unique and hopefully really useful to you as a Ciao user.

A "Free-Lunch" tour of the Jovian System

An ED-tether mission to Jupiter is presented. A bare tether carrying cathodic devices at both ends but no power supply, and using no propellant, could move 'freely' among Jupiter's 4 great moons. The tour scheme would have current naturally driven throughout by the motional electric field, the Lorentz force switching direction with current around a 'drag' radius of 160,00 kms, where the speed of the jovian ionosphere equals the speed of a spacecraft in circular orbit. With plasma density and magnetic field decreasing rapidly with distance from Jupiter, drag/thrust would only be operated in the inner plasmasphere, current being near shut off conveniently in orbit by disconnecting cathodes or plugging in a very large resistance; the tether could serve as its own power supply by plugging in an electric load where convenient, with just some reduction in thrust or drag. The periapsis of the spacecraft in a heliocentric transfer orbit from Earth would lie inside the drag sphere; with tether deployed and current on around periapsis, magnetic drag allows Jupiter to capture the spacecraft into an elliptic orbit of high eccentricity. Current would be on at succesive perijove passes and off elsewhere, reducing the eccentricity by lowering the apoapsis progressively to allow visits of the giant moons. In a second phase, current is on around apoapsis outside the drag sphere, rising the periapsis until the full orbit lies outside that sphere. In a third phase, current is on at periapsis, increasing the eccentricity until a last push makes the orbit hyperbolic to escape Jupiter. Dynamical issues such as low gravity-gradient at Jupiter and tether orientation in elliptic orbits of high eccentricity are discussed.

A model of the spatially dependent mechanical properties of the axon during its growth

Neuronal growth is a complex process involving many intra- and extracellular mechanisms which are collaborating conjointly to participate to the development of the nervous system. More particularly, the early neocortical development involves the creation of a multilayered structure constituted by neuronal growth (driven by axonal or dendritic guidance cues) as well as cell migration. The underlying mechanisms of such structural lamination not only implies important biochemical changes at the intracellular level through axonal microtubule (de)polymerization and growth cone advance, but also through the directly dependent stress/stretch coupling mechanisms driving them. Efforts have recently focused on modeling approaches aimed at accounting for the effect of mechanical tension or compression on the axonal growth and subsequent soma migration. However, the reciprocal influence of the biochemical structural evolution on the mechanical properties has been mostly disregarded. We thus propose a new model aimed at providing the spatially dependent mechanical properties of the axon during its growth. Our in-house finite difference solver Neurite is used to describe the guanosine triphosphate (GTP) transport through the axon, its dephosphorylation in guanosine diphosphate (GDP), and thus the microtubules polymerization. The model is calibrated against experimental results and the tensile and bending mechanical stiffnesses are ultimately inferred from the spatially dependent microtubule occupancy. Such additional information is believed to be of drastic relevance in the growth cone vicinity, where biomechanical mechanisms are driving axonal growth and pathfinding. More specifically, the confirmation of a lower stiffness in the distal axon ultimately participates in explaining the controversy associated to the tensile role of the growth cone.

Influence of the training system on the agronomic behavior and grape composition of Albariño in Rías Baixas apellation

The aim of this study was to evaluate if early defoliation can be an alternative to bunch thinning in limiting yield and improving quality in grapes of the white cultivar Loureiro (Vitis vinifera L.), grafted onto 1103P. The field trial had been set up in a commercial vineyard in Vinhos Verdes Region (Northwest of Portugal, 41º 48? 53? N, 8º 24? 42? W). Treatments studied, performed five days before full bloom were: LR5 ? Leaf removal of the first five basal leaves, performed manually, LR8 ? Leave removal of the first eight basal leaves, LRM ? mechanical leaf removal and C ? the control, without defoliation. This paper reports the results of four years (2010-2013). The results presented a significant removal of main leaf area after defoliation principally in the most intensive treatment (LR8) but at harvest, the total leaf area had been compensated by lateral regrowth and no statistical differences between the treatments and the control were found. Early defoliation caused a decrease in fruit set and also a significant reduction in the diameter of the berry within the more severe defoliation treatments (LR5 and LR8). Yield factors were also significantly affected by the defoliation, causing a reduction of bunch weight and in 2013 a yield reduction in LR8 and LRM, and in 2010 in LR8. Conversely, LR5 presented a yield always similar to the control C. The reduction of cluster compactness and the substantial improvement of the microclimate at the cluster level significantly reduced bunch rot incidence in the defoliated modalities compared to control. No carry-over effects, along the four years trial were observed Early defoliation proved to be a canopy management technique that can have a strong impact in the final quality of grapes, reducing the compactness and lower the incidence and intensity of bunch rot, even if the reduction of yield observed in other papers had not been observed in all modalities.

A novel motion tracking system for evaluation of functional rehabilitation of the upper limbs

Upper limb function impairment is one of the most common sequelae of central nervous system injury, especially in stroke patients and when spinal cord injury produces tetraplegia. Conventional assessment methods cannot provide objective evaluation of patient performance and the tiveness of therapies. The most common assessment tools are based on rating scales, which are inefficient when measuring small changes and can yield subjective bias. In this study, we designed an inertial sensor-based monitoring system composed of five sensors to measure and analyze the complex movements of the upper limbs, which are common in activities of daily living. We developed a kinematic model with nine degrees of freedom to analyze upper limb and head movements in three dimensions. This system was then validated using a commercial optoelectronic system. These findings suggest that an inertial sensor-based motion tracking system can be used in patients who have upper limb impairment through data integration with a virtual reality-based neuroretation system.

Study of the Influence of Reference System in Surface Finishing Parameters Evaluation.

In the present paper the influence of the reference system with regard to the characterization of the surface finishing is analyzed. The effect of the reference system’s choice on the most representative surface finishing parameters (e.g. roughness average Ra and root mean square values Rq) is studied. The study can also be applied to their equivalent parameters in waviness and primary profiles. Based on ISO and ASME standards, three different types of regression lines (central, mean and orthogonal) are theoretically and experimentally analyzed, identifying the validity and applicability fields of each one depending on profile’s geometry. El presente trabajo realiza un estudio de la influencia que supone la elección del sistema de referencia en la determinación los valores de los parámetros más relevantes empleados en la caracterización del acabado superficial tales como la rugosidad media aritmética Ra o la rugosidad media cuadrática Rq y sus equivalentes en los perfiles de ondulación y completo. Partiendo de la definición establecida por las normas ISO y ASME, se analizan tres tipos de líneas de regresión cuadrática (línea central, línea media y línea ortogonal), delimitando los campos de validez y de aplicación de cada una de ellas en función de la geometría del perfil. Para ello se plantean diversos tipos de perfiles y se desarrolla un estudio teórico y experimental de los mismos.

Design and modeling of the multi-agent robotic system: SMART

This article presents the design, kinematic model and communication architecture for the multi-agent robotic system called SMART. The philosophy behind this kind of system requires the communication architecture to contemplate the concurrence of the whole system. The proposed architecture combines different communication technologies (TCP/IP and Bluetooth) under one protocol designed for the cooperation among agents and other elements of the system such as IP-Cameras, image processing library, path planner, user Interface, control block and data block. The high level control is modeled by Work-Flow Petri nets and implemented in C++ and C♯♯. Experimental results show the performance of the designed architecture.

Changes in the governance system for higher education in Peru to meet the challenges of the 21st century

The competition in markets, the distribution of limited resources based on productivity and performance, and the efficient management of universities are changing the criteria of trust and legitimacy of the educational system in Peru. Universities are perceived more as institutions of the public sector, while the services they offer must rather contribute to the modernization of the emerging society and the knowledge economy. Higher Educations reforms - initiated in the 1980s - have been inspired by the successful university organizations that have managed to change their governance and addressed to transform certain bureaucratic institutions into organizations capable of playing active role in this global competition for resources and best talent. Within this context, Peruvian universities are facing two major challenges: adapting themselves to new global perspectives and being able to develop a better response to society demands, needs and expectations. This article proposes a model of governance system for higher education in Peru that gives a comprehensive solution to these challenges, allowing dealing with the problems of universities for their development and inclusion within the global trends. For this purpose, a holistic and qualitative methodologic approach was developed, considering an integrated method which considered educational reality as a whole, understanding its facts, components and elements that affects its outcomes. It is proposed to define a policy for university education in Peru that permeates society, by changing the planning model from a social reform model to a policy analysis model, where the Peruvian State acts as sole responsible for responding to the demanding society as its legal representative complemented with some external and independent bodies that define the basis of best practice, as it is being done in many university models worldwide.

Face, content, and construct validity of the EndoViS training system for objective assessment of psychomotor skills of laparoscopic surgeons

Background The aim of this study is to present face, content, and constructs validity of the endoscopic orthogonal video system (EndoViS) training system and determines its efficiency as a training and objective assessment tool of the surgeons’ psychomotor skills. Methods Thirty-five surgeons and medical students participated in this study: 11 medical students, 19 residents, and 5 experts. All participants performed four basic skill tasks using conventional laparoscopic instruments and EndoViS training system. Subsequently, participants filled out a questionnaire regarding the design, realism, overall functionality, and its capabilities to train hand–eye coordination and depth perception, rated on a 5-point Likert scale. Motion data of the instruments were obtained by means of two webcams built into a laparoscopic physical trainer. To identify the surgical instruments in the images, colored markers were placed in each instrument. Thirteen motion-related metrics were used to assess laparoscopic performance of the participants. Statistical analysis of performance was made between novice, intermediate, and expert groups. Internal consistency of all metrics was analyzed with Cronbach’s α test. Results Overall scores about features of the EndoViS system were positives. Participants agreed with the usefulness of tasks and the training capacities of EndoViS system (score >4). Results presented significant differences in the execution of three skill tasks performed by participants. Seven metrics showed construct validity for assessment of performance with high consistency levels. Conclusions EndoViS training system has been successfully validated. Results showed that EndoViS was able to differentiate between participants of varying laparoscopic experience. This simulator is a useful and effective tool to objectively assess laparoscopic psychomotor skills of the surgeons.

Immune Polarization in Allergic Patients: Role of the Innate Immune System

Allergens come into contact with the immune system as components of a very diverse mixture. The most common sources are pollen grains, food, and waste. These sources contain a variety of immunomodulatory components that play a key role in the induction of allergic sensitization. The way allergen molecules bind to the cells of the immune system can determine the immune response. In order to better understand how allergic sensitization is triggered, we review the molecular mechanisms involved in the development of allergy and the role of immunomodulators in allergen recognition by innate cells.

Digital Control Implementation to Reduce the Cost and Improve the Performance of the Control Stage of an Industrial Switched-Mode Power Supply

The main objective of this work is the design and implementation of the digital control stage of a 280W AC/DC industrial power supply in a single low-cost microcontroller to replace the analog control stage. The switch-mode power supply (SMPS) consists of a PFC boost converter with fixed frequency operation and a variable frequency LLC series resonant DC/DC converter. Input voltage range is 85VRMS-550VRMS and the output voltage range is 24V-28V. A digital controller is especially suitable for this kind of SMPS to implement its multiple functionalities and to keep the efficiency and the performance high over the wide range of input voltages. Additional advantages of the digital control are reliability and size. The optimized design and implementation of the digital control stage it is presented. Experimental results show the stable operation of the controlled system and an estimation of the cost reduction achieved with the digital control stage.

Validation of the SenseWear armband in circuit resistance training with different loads

The use of the SenseWear™ armband (SWA), an objective monitor of physical activity, is a relatively new device used by researchers to measure energy expenditure. These monitors are practical, relatively inexpensive and easy-to-use. The aim of the present study was to assess the validity of SWAs for the measurement of energy expenditure (EE) in circuit resistance training (CRT) at three different intensities in moderately active, healthy subjects. The study subjects (17 females, 12 males) undertook CRT at 30, 50 and 70% of the 15 repetition maximum for each exercise component wearing an SWA as well as an Oxycon Mobile (OM) portable metabolic system (a gold standard method for measuring EE). The EE rose as exercise intensity increased, but was underestimated by the SWAs. For women, Bland-Altman plots showed a bias of 1.13 ± 1.48 METs and 32.1 ± 34.0 kcal in favour of the OM system, while for men values of 2.33 ± 1.82 METs and 75.8 ± 50.8 kcal were recorded.

Proposal for redesigning the financial system: lessons learned from the crisis

this paper analyzes the singularities inherent to the financial industry, in relation to other businesses, and its implications to financial crises throughout history. The efficient markets hypothesis is questioned, and its impact on the deregulation of the financial system is analyzed. Finally, the causes of the current crisis are investigated, and the general lines to be addressed for the redesign of a financial system to achieve an efficient and equitable capitalism are suggested.

Effect of the Reference Line on Main Roughness Parameters

In the present paper the influence of the reference system with regard to the characterization of the surface finishing is analyzed. The effect of the reference system’s choice on the most representative surface finishing parameters (e.g. roughness average Ra and root mean square values Rq) is studied. The study can also be applied to their equivalent parameters in waviness and primary profiles. Based on ISO and ASME standards, three different types of regression lines (center, mean and orthogonal) are theoretically and experimentally analyzed, identifying the validity and applicability fields of each one depending on profile’s geometry.